/*******************************************************************************
 *
 * File:        TIMER.h
 * Progetto:    Robottino
 * Ambiente:    PIC32
 * Data:        15/03/2012
 * Autore:      M. Tili
 * Versione:    00.00
 *
 * Descrizione: 
 *   File di intestazione del modulo per la gestione dei timer
 *
 *
 * Nota:
 *   Nel file .c includere prima l'header della configurazione.
 *
 * Modifica:  gg/mm/aaaa  | N.Cognome
 *                        | Descrizione modifica
 *
 */
#ifndef TIMER_H
#define TIMER_H



extern void    TimerInit(void);
extern BOOLEAN TimerHasExpired(e_timer_id idTmr);
extern void    TimerResetById(e_timer_id idTmr);
extern BOOLEAN TimerSet(e_timer_id idTmr,TIMEMS value,BOOLEAN forceRestart);
extern void    TimerUpdateAll(void);


#else
#error "Tentativo di inclusioni multiple: TIMER_H"
#endif
